<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: shift.y Pages: 1 -->
<svg width="159pt" height="135pt"
 viewBox="0.00 0.00 159.00 135.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 131)">
<title>shift.y</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-131 155,-131 155,4 -4,4"/>
<!-- 3 -->
<g id="node1" class="node">
<title>3</title>
<polygon fill="none" stroke="#000000" points="151,-127 0,-127 0,-89 151,-89 151,-127"/>
<text text-anchor="middle" x="75.5" y="-111.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 3</text>
<text text-anchor="start" x="8" y="-96.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;1 exp: a • &quot;.&quot;</text>
</g>
<!-- 6 -->
<g id="node2" class="node">
<title>6</title>
<polygon fill="none" stroke="#000000" points="151,-38 0,-38 0,0 151,0 151,-38"/>
<text text-anchor="middle" x="75.5" y="-22.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 6</text>
<text text-anchor="start" x="8" y="-7.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;1 exp: a &quot;.&quot; •</text>
</g>
<!-- 3&#45;&gt;6 -->
<g id="edge1" class="edge">
<title>3&#45;&gt;6</title>
<path fill="none" stroke="#000000" d="M75.5,-88.6883C75.5,-76.909 75.5,-61.6187 75.5,-48.3628"/>
<polygon fill="#000000" stroke="#000000" points="79.0001,-48.274 75.5,-38.274 72.0001,-48.274 79.0001,-48.274"/>
<text text-anchor="middle" x="88.5" y="-59.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">&quot;.&quot;</text>
</g>
</g>
</svg>
